Search Results
ICFP Session 5
ICFP Session 5 (Mirror)
ICFP 2020 Session NY 5
ICFP 2020 Session Asia 5
[ICFP'23] Fifth Avenue
[ICFP'24] Green - ICFP Papers and Events (Sep 5th)
11 Parametrized Extensible Effects and Session Types
Typing, Representing, and Abstracting Control: Functional Pearl
[ICFP'23] Fifth Avenue
[ICFP'23] Fifth Avenue
[ICFP'24] Green - ICFP Papers and Events (Sep 4th)
[ICFP'23] Special Delivery: Programming with Mailbox Types
![[ICFP'23] Fifth Avenue](https://img.youtube.com/vi/n7MnRjjCrCI/hqdefault.jpg)
![[ICFP'24] Green - ICFP Papers and Events (Sep 5th)](https://img.youtube.com/vi/PaUfiXDZiqw/hqdefault.jpg)
![[ICFP'23] Fifth Avenue](https://img.youtube.com/vi/8ByoqzBGeqk/hqdefault.jpg)
![[ICFP'23] Fifth Avenue](https://img.youtube.com/vi/ZQ_U-LANbc4/hqdefault.jpg)
![[ICFP'24] Green - ICFP Papers and Events (Sep 4th)](https://img.youtube.com/vi/F70QZaMoYJQ/hqdefault.jpg)
![[ICFP'23] Special Delivery: Programming with Mailbox Types](https://img.youtube.com/vi/HWuBZ4rsnMI/hqdefault.jpg)